A Component Model for Separation of Control Flow from Computation in Component-Based Systems
نویسندگان
چکیده
منابع مشابه
A Component Model for Separation of Control Flow from Computation in Component-Based Systems
Today’s component models as well as architectural description languages (ADLs) compose components either using direct or indirect method calls. When using direct method calls, components carry out computation, originate control to and perform communication between each other. When using indirect message calls, components are connected using connectors encapsulating communication between them. T...
متن کاملNumerical Computation Of Multi-Component Two-Phase Flow in Cathode Of PEM Fuel Cells
A two-dimensional, unsteady, isothermal and two-phase flow of reactant-product mixture in the air-side electrode of proton exchange membrane fuel cells (PEMFC) is studied numerically in the present study. The mixture is composed of oxygen, nitrogen, liquid water and water vapor. The governing equations are two species conservation, a single momentum equation for mobile mixture, liquid mass cons...
متن کاملModel-Driven Information Flow Security for Component-Based Systems
This paper proposes a framework for information flow security in component-based systems which follows the model-driven security approach. The security policy is defined and verified from the early steps of the system design. Two kinds of non-interference properties are formally introduced and for both of them, sufficient conditions that ensures and simplifies the automated verification are pro...
متن کاملInformation flow control of component-based distributed systems
Non-interference is a strong security policy that enforces the confidentiality and integrity. Many solutions are proposed in the state of the art for verifying this policy in programs, but few tools are proposed to implement it. In this paper, we define a high level model called CIF (Component Information Flow) and we develop the tools that simplify distributed secure system development and dep...
متن کاملAn Injector Component Model for Complete Microfluidic Electrokinetic Separation Systems
This work presents a closed-form, numerically derived model of a key microfluidic electrokinetic separation system component, the cross injector. The model fits into a framework such that it can be combined with a network of other component models, such as a mixer, reactor, separation channel, and detector, to model a complete microfluidic separation system. The model is based on a reduction of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.07.003